metodos de demostracion metamaticos